Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
731	Algorithmica: Algorithmica 9 1994Springer-VerlagNewYorkInc. Planar Geometric Location Problems I Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2011-05-26 17:06:03 Computational complexity theory Computational geometry Structural complexity theory Analysis of algorithms Algorithm Mathematical logic Point location Reduction Time complexity Theoretical computer science Applied mathematics Mathematics
732	An Evaluation of Geo-Ontology Representation Languages for Supporting Web Retrieval of Geographical Information Add to Reading List Source URL: users.cs.cf.ac.uk Language: English - Date: 2005-12-13 09:40:56 Computing Science Markup languages Information science Technical communication DAML+OIL Web Ontology Language Description logic Knowledge representation and reasoning Ontology Information Semantic Web
733	This is a slightly edited version of a paper that appeared at the High Confidence Medical Device Software and Systems (HCMDSS) Workshop, June 2–3, 2005, Philadelphia, PA. Proofs as a Substrate for Tool Integration Supp Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2005-06-08 15:23:55 Science Formal sciences Compiler construction Mathematical logic Proof theory Isabelle Compiler Mathematical proof Model checking Logic Mathematics Programming language implementation
734	Simply the Best: A Case for Abduction* Stathis Psillos Department of Philosophy and History of Science, University of Athens, 37 John Kennedy StrAthens, Greece. , http://www.uoa.gr/dhps/postgrad Add to Reading List Source URL: users.uoa.gr Language: English - Date: 2002-08-09 08:57:00 Epistemology Logic Philosophy of science Charles Sanders Peirce Scientific method Defeasible reasoning Abductive reasoning Deductive reasoning Hypothetico-deductive model Science Knowledge Reasoning
735	Jordan Journal of Mathematics and Statistics (JJMS) 3(3), 2010, ppAN EXTENSION OF MULHOLLAND’S INEQUALITY BICHENG YANG Abstract. By introducing multi-parameters and using the way of weight coefficients and Add to Reading List Source URL: journals.yu.edu.jo Language: English - Date: 2012-02-24 11:21:41 Logic Computability theory Curry–Howard correspondence Logic in computer science Philosophy of computer science Type theory Symbol Mathematical logic Mathematics Proof theory
736	High-dimensional data, random questions and random answers Sara van de Geer Statistics is crucial for dealing with the large amount of data available today. There are many machine learning algorithms around that help us Add to Reading List Source URL: www.math.leidenuniv.nl Language: English - Date: 2015-03-24 04:59:21 Randomness Mathematics Theoretical computer science Algorithm Mathematical logic
737	Alternating Automata Semantic Constructions for the Bounded Model Checking of Regular Linear Temporal Logic (Extended Version) Juli´an Samborski-Forlese IMDEA Software Institute, Madrid, Spain Email: Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Computer science Büchi automaton Linear temporal logic Symbol Complementation of Büchi automaton Automata theory Theoretical computer science Formal methods
738	UNDERDETERMINATION THESIS , DUHEM - QUINE THESIS Jung, C. G. Wandlung und Symbole der Libido. Leipzig, 1912. Translated by Beatrice M. Hinkle as Psychology of the Unconscious. London, 1916. Rev. ed. and new translation Add to Reading List Source URL: users.uoa.gr Language: English - Date: 2007-06-11 03:10:42 Knowledge Underdetermination Scientific realism Theory Falsifiability Duhem–Quine thesis Scientific theory Pierre Duhem Logic Science Philosophy Philosophy of science
739	Abstract Canonical Presentations ? Nachum Dershowitz 1 School of Computer Science Tel-Aviv University P.O. Box 39040 Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2005-07-19 18:40:19 Mathematical proof Equational logic Proof theory Theorem Automated theorem proving Mathematical induction Logic Mathematics Mathematical logic
740	Microsoft Word - 06_Psillos-Hendry.doc Add to Reading List Source URL: users.uoa.gr Language: English - Date: 2006-11-06 03:55:52 Philosophy of language Philosophy of science Scientific method Concepts Semantics Semantic view of theories Scientific theory Theory Mathematical logic Science Philosophy Ethology

UPDATE